Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer

Source URL: www.mpi-sws.org

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Predicate logic
• Philosophical logic
• Automated theorem proving
• Logic programming
• Hoare logic
• Separation logic
• Unification
• Combinatory logic

Wrong side of the tracks: Big Data and Protected Categories Simon DeDeo∗ June 23, 2016 Abstract

Source URL: www.santafe.edu

• Science
• Formal sciences
• Philosophy
• Cybernetics
• Computational neuroscience
• Algorithm
• Mathematical logic
• Theoretical computer science
• Machine learning
• Causality
• Decision tree
• Artificial intelligence

******************************************************************** 日仏ワークショップ「論理・言語・計算-比較文化的視点」 （Franco-Japanese workshop on Logic,Language, and comp

Source URL: abelard.flet.keio.ac.jp

• Manga
• Tatsuo Nishida
• Crest of the Royal Family

SAC 1998 Paper Count Track Ada and Software Engineering (AD) AI and Computational Logic (AI) Biomedical Computing (BC) Classification System (CS)

Source URL: www.sigapp.org

02157 Functional Programming - Collections: Sets and Maps

Source URL: www.imm.dtu.dk

• Mathematics
• Mathematical logic
• Abstraction
• Set
• Technical University of Denmark
• Function
• Category of sets

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1

Source URL: www.mancoosi.org

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Logical truth
• Propositional calculus
• Formal languages
• Automated theorem proving
• Substitution
• Constructible universe
• Well-formed formula
• Boolean satisfiability problem

Natural Models for Evolution on Networks George B. Mertzios1 , Sotiris Nikoletseas2, Christoforos Raptopoulos2 , and Paul G. Spirakis2 1 School of Engineering and Computing Sciences, Durham University, UK

Source URL: community.dur.ac.uk

• Graph theory
• Discrete mathematics
• Mathematics
• Graph
• Degree
• Clique
• Vertex
• Directed graph
• Ear decomposition
• Logic of graphs
• Extremal graph theory

RMM Vol. 2, 2011, 201–209 Special Topic: Statistical Science and Philosophy of Science Edited by Deborah G. Mayo, Aris Spanos and Kent W. Staley http://www.rmm-journal.de/ Larry Wasserman

Source URL: www.rmm-journal.com

• Statistics
• Statistical inference
• Logic
• Statistical theory
• Philosophy of science
• Foundations of statistics
• Frequentist inference
• Bayesian
• Inference
• Bayesian statistics
• Quantum Bayesianism

Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment

Source URL: krisrose.net

• Computing
• Theoretical computer science
• Programming language theory
• Logic in computer science
• Formal languages
• Lambda calculus
• Functional languages
• Markup languages
• Explicit substitution
• International Conference on Rewriting Techniques and Applications
• XSLT
• Combinatory logic